val optimize : Set.Make(String).t -> unit Cfg.TackyCfg.t -> unit Cfg.TackyCfg.t
